Tata Bahasa Keanggotaan
Berbeda dengan pasangan terurut $(a, b)$ atau $n$-tuple di mana posisi sangat penting, suatu himpunan $\{a, b\}$ didefinisikan secara eksklusif berdasarkan elemennya. Oleh karena itu, $\{a, b\} = \{b, a\}$. Ketidakpedulian terhadap urutan memungkinkan kita fokus pada identitas keanggotaan.
Inklusi $A \subseteq B$ berarti setiap elemen dari $A$ berada di dalam $B$. Namun, sebuah himpunan bagian sejati $A \subset B$ menuntut lebih banyak: $B$ harus berisi setidaknya satu elemen yang tidak berada di dalam $A$.
Himpunan Kuasa $\mathcal{P}(S)$ adalah himpunan dari semua kemungkinan himpunan bagian dari $S$. Jika $|S| = n$, maka $|\mathcal{P}(S)| = 2^n$, mencerminkan skala eksponensial dari kemungkinan dasar.
Jembatan Logika: Mekanika Himpunan
Operasi himpunan adalah manifestasi fisik dari pemikiran logika:
- Gabungan ($A \cup B$): Logika ATAU. Elemen-elemen yang termasuk dalam $A$ atau $B$.
- Irisan ($A \cap B$): Logika DAN. Elemen-elemen yang termasuk dalam kedua $A$ dan $B$.
- Himpunan Saling Lepas ($A \cap B = \emptyset$): Kondisi logika yang saling eksklusif.
Contoh Kerja: Basis Data Mahasiswa
Pertimbangkan basis data $D_1 = \{\text{Garth, Erin, Marty}\}$. Kita mendefinisikan dua predikat:
- Himpunan $A$: Mahasiswa yang tingginya lebih dari 5'10" $\to \{\text{Garth, Marty}\}$.
- Himpunan $B$: Mahasiswa dengan nama yang berakhir dengan 'y' $\to \{\text{Marty}\}$.
Himpunan Irisan $A \cap B$ menghasilkan $\{\text{Marty}\}$. Ini menunjukkan bagaimana logika "DAN" menyaring populasi berdasarkan kriteria yang tumpang tindih. Marty adalah satu-satunya mahasiswa yang memenuhi kedua syarat yaitu tinggi badan dan nama yang berakhir dengan 'y'.
$x \in A \cap B \iff (x \in A) \land (x \in B)$